21. Computation, Logic, Philosophy :
Author: by Hao Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information theory.,Mathematics.,Technology -- Philosophy.
22. Computations in higher types
Author: Moldestad, Johan
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Recursive functions
Classification :
QA
3
.
L28
no
.
574
23. Computations in higher types
پدیدآورنده : Moldestad, Johan
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
24. Computations in higher types
Author: Moldestad, Johan
Library: Central Library and Documentation Center (Kerman)
Subject: ، Recursive functions
Classification :
QA
1
.
L4
v
.
574
25. Computations in higher types
Author: Moldestad, Johan, 6491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions
Classification :
QA
3
.
L28
Vol
.
574
26. Computations in higher types, Lecture notes in mathematics
Author: Moldestad, Johan,6491-, Johan Moldestad
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Recursive functions
Classification :
QA
3
.
M6C6
1977
27. Computer Mathematics
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
28. Computing with foresight and industry :
Author: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
Classification :
QA9
.
59
.
C67
2019
29. Degrees of unsolvability
Author: Sacks, Gerald E.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions
Classification :
QA
248
.
5
.
S2
1966
30. Degrees of unsolvability
Author: / by Joseph R. Shoenfield
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical,Recursive functions
Classification :
511
Sh-D
31. Degrees of unsolvability
Author: Shoenfield, Joseph Robert
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(
Classification :
QA
9
.
S518
32. Degrees of unsolvability
پدیدآورنده : Sacks, Gerald E.
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
33. Difference and differential equations with applications in queueing theory /
Author: Aliakbar M. Haghighi Department of Mathematics, Prairie View A and M University, Prairie View, Texas, Dimitar P. Mishev Department of Mathematics, Prairie View A and M University, Prairie View, Texas
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Difference equations,Differential equations,Queuing theory,Difference equations,Differential equations,Mathematics,Queuing theory
Classification :
QA274
.
8
34. Discrete mathematics with proof
Author: Eric Gossett.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA39
.
3
E753
2003
35. Dynamical Systems, Control, Coding, Computer Vision
Author: edited by Giorgio Picci, David S. Gilliam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
36. Elementary induction on abstract structure
Author: Moschovakis, Yiannis N
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Recursive functions,، Induction )Mathematics(
Classification :
QA
248
.
5
.
M67
37. Elementary induction on abstract structures
پدیدآورنده : Moschovakis, Yiannis N
موضوع : ، Recursive functions,، Induction )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
38. Elementary induction on abstract structures
Author: Moschovakis, Yiannis N.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Recursive functions,، Induction )Mathematics(
Classification :
QA
248
.
5
.
M67
39. Elementary induction on abstract structures
Author: / Yiannis N. Moschovakis
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Recursive functions,Induction (Mathematics)
Classification :
511
.
2
M896
40. Enumerability · Decidability Computability
Author: by Hans Hermes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
